package body Enters_Protegits is

  protected body Enter_Protegit is

    function Get return Integer is
    begin
      return Value;
    end Get;

    procedure Increment (Inc: in Integer := 1) is
    begin
      Value := Value + Inc;
    end Increment;

    procedure Set (Val: in Integer) is
    begin
      Value := Val;
    end Set;

  end Enter_Protegit;

  ---------
  -- Get --
  ---------

  function Get (E: in Enter_Protegit) return Integer is
  begin
    return E.Get;
  end Get;

  ---------------
  -- Increment --
  ---------------

  procedure Increment (E: in out Enter_Protegit; Inc: in Integer := 1) is
  begin
    E.Increment(Inc);
  end Increment;

  ---------
  -- Set --
  ---------

  procedure Set (E: out Enter_Protegit; Val: in Integer) is
  begin
    E.Set(Val);
  end Set;

end Enters_Protegits;

